const c : record x : Integer end = (x:123);